Axiom schema - PDFSEARCH.IO - Document Search Engine

Axiom schema
Results: 76

#	Item
1	VOL. 50, 1963 MATHEMATICS: P. J. COHEN 1143 Add to Reading List Source URL: tobymeadows.files.wordpress.com Language: English - Date: 2010-06-14 22:03:08 Forcing Ordinal number Constructible universe Function Transfinite induction Zermelo–Fraenkel set theory Continuous function Axiom of choice Axiom schema of replacement Mathematical logic Mathematics Set theory
2	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
3	Dynamic and Distributed Scheduling in Communication Networks and Manufacturing Systems Add to Reading List Source URL: 139.91.183.30 Language: English - Date: 2008-12-01 20:09:16 Computing World Wide Web RDF Schema Database schema Schema Resource Axiom schema Resource Description Framework Semantic Web Data modeling RDF
4	Fall 2003 BMI[removed]CS 426 Z- 1 Problem Set No. 2 BMI[removed]CS 426 Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:12:18 Science Applied mathematics Mathematics Data modeling Cybernetics Schema Axiom schema Database schema Crossover Genetic algorithms Mathematical optimization Population genetics
5	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
6	COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 8 Discrete Mathematics (MPF) (a) Let #X denote the cardinality of a set X. Define a unary predicate P for which the statement Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:43 Mathematical analysis Bijection injection and surjection Equivalence relation Function Bijection Power set Injective function Filter Axiom schema of replacement Mathematics Functions and mappings Mathematical logic
7	Open Research Online The Open University’s repository of research publications and other research outputs Corpus-assisted literary evaluation Journal Article Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2015-02-07 16:43:44 Psychological theories Science Schema Educational psychology Database schema Reading Axiom schema Stylistics Applied linguistics Linguistics Kantianism
8	Something from Nothing Tom Davis [removed] http://www.geometer.org/mathcircles October 24, 2000 Add to Reading List Source URL: www.geometer.org Language: English - Date: 2007-11-02 18:11:05 Axioms of set theory Z notation Function Zermelo–Fraenkel set theory Axiom schema of specification Constructible universe Axiom of choice Principia Mathematica Axiom of regularity Mathematical logic Mathematics Set theory
9	The schemata package Charles P. Schaum charles dot schaum at comcast dot net v0.7 from[removed]Abstract The schemata package facilitates the creation of topical schemata, outlines Add to Reading List Source URL: ftp.leg.uct.ac.za Language: English - Date: 2013-09-23 21:02:08 Database schema Schema Axiom schema Science Mind Ethology Data modeling Genetic algorithms Data management
10	The schemata package Charles P. Schaum charles dot schaum at comcast dot net v0.7 from[removed]Abstract The schemata package facilitates the creation of topical schemata, outlines Add to Reading List Source URL: mirror.physik-pool.tu-berlin.de Language: English - Date: 2013-09-23 21:02:08 Database schema Schema Axiom schema Science Mind Ethology Data modeling Genetic algorithms Data management

UPDATE